type T() =
    new (_) = T()
